val($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_val(${\it es}$)($e$)